Inhalt des Dokuments

Forschung

Artikel akzeptiert (IFIP TCS 2012)

Montag, 25. Juni 2012

Artikel "Formal Verification of Distributed Algorithms – From Pseudo Code to Checked Proofs" akzeptiert für IFIP TCS 2012 (Co-Autoren Philipp Küfner, Uwe Nestmann, Christina Rickmann)

---